Verification Techniques – alle Bücher online kaufen

Daniel Große, Lucas Klemmer
Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

Rewriting Logic and Its Applications

Lecture Notes in Computer Science -Band 14953

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Designing Modern Embedded Systems: Software, Hardware, and Applications

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4 6, 2024. The 8 full p…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Verification Techniques" - alle Bücher

Daniel Große, Lucas Klemmer Versatile Hardware Analysis Techniques

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Rewriting Logic and Its Applications

Designing Modern Embedded Systems: Software, Hardware, and Applications

Formal Methods: Foundations and Applications

Daniel Große, Lucas Klemmer
Versatile Hardware Analysis Techniques